Knihy od autora Bernhard Steffen

Zobrazené 1 – 20 z 45 výsledkov

1. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1996

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
2. 

   Bridging the Gap Between AI and Reality

   Bernhard Steffen | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   133.99 €

   Zľava 7 %

   Ušetríte 11.14 €

   Kúpiť
3. 

   Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

   Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   82.54 €

   Zľava 7 %

   Ušetríte 6.89 €

   Kúpiť
4. 

   Leveraging Applications of Formal Methods, Verification, and Validation

   Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   110.69 €

   Kúpiť
5. 

   Leveraging Applications of Formal Methods, Verification and Validation. Verification

   Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
6. 

   Verification, Model Checking, and Abstract Interpretation

   Bernhard Steffen, Giorgio Levi | Springer, Berlin, 2004

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
7. 

   Transactions on Foundations for Mastering Change I

   Bernhard Steffen | Springer International Publishing AG, 2016

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
8. 

   SOFSEM 2017: Theory and Practice of Computer Science

   Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
9. 

   Computing and Software Science

   Bernhard Steffen, Gerhard Woeginger | Springer International Publishing AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   31.08 €

   Zľava 7 %

   Ušetríte 2.64 €

   Kúpiť
10. 

    Services and Visualization: Towards User-Friendly Design

    Tiziana Margaria, Joachim Posegga, Roland Rückert, Bernhard Steffen | Springer, Berlin, 1998

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.75 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
11. 

    Bridging the Gap between AI and Reality

    Bernhard Steffen | Springer, Berlin, 2024

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    72.20 €

    Zľava 7 %

    Ušetríte 6.09 €

    Kúpiť
12. 

    Let's Talk AI

    Edward A. Lee, Bernhard Steffen | Springer-Verlag GmbH, 2026

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    41.41 €

    Zľava 7 %

    Ušetríte 3.44 €

    Kúpiť
13. 

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.75 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
14. 

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2024

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.75 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
15. 

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2022

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    87.70 €

    Zľava 7 %

    Ušetríte 7.31 €

    Kúpiť
16. 

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2024

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    82.54 €

    Zľava 7 %

    Ušetríte 6.89 €

    Kúpiť
17. 

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 2024

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    68.15 €

    Zľava 7 %

    Ušetríte 5.67 €

    Kúpiť
18. 

    Grundlagen der höheren Informatik

    Bernhard Steffen, Oliver Rüthing, Malte Isberner | Springer, Berlin, 2013

    
    

    Skladom u dodávateľa - Odosielame za 10 - 13 dní

    Jazyk: Nemčina

    Väzba: Pevná

    35.95 €

    Zľava 6 %

    Ušetríte 2.53 €

    Kúpiť
19. 

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    Tiziana Margaria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

    
    

    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.75 €

    Zľava 7 %

    Ušetríte 4.29 €

    Kúpiť
20. 

    Formal Methods for Industrial Critical Systems

    Bernhard Steffen | Springer-Verlag GmbH, 2025

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    65.62 €

    Kúpiť

Orientačné termín doručenia vidíte priamo v detaile knihy. Zistite viac